221. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
Author: P. Martin-Lof, G Mints, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
417
222. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
I57
1988
223. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385
224. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988
225. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
440
226. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author: E. Borger, H. Kleine Buning, M. M. Richter )eds.(
Library: (Kerman)
Subject: ، Computer science - Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
W67
1989
227. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1989
228. CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
Author: Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
Classification :
005
W926c
229. Cardinalities of Fuzzy Sets
Author: by Maciej Wygralak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Group theory.,Mathematics.
Classification :
QA248
.
5
B963
2003
230. Categorical methods in Computer science; with aspects from zopology
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Topological algebras ► Categories (Mathematics) ► Computer science- Mathematics
Classification :
512
0285
231. Categorical methods in computer science: with aspects from topology
Author: / H. Ehrig ... [et al.], eds
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Congresses,Categories (Mathematics)- Congresses,Topology- Congresses
Classification :
QA75
.
5
.
C36
1989
232. Categorical methods in computer science : with aspects from topology
Author: H. Ehrig...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Topology
Classification :
QA
76
.
L28
Vol
.
393
233. Categorical methods in computer science : with aspects from topology
Author: / H. Ehrig ... (et al.), eds
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses,Topology - Congresses
Classification :
QA
75
.
5C36
1989
234. Categorical methods in computer science : with aspects from topology
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses,، Categories )Mathematics( - Congresses,، Topology - Congresses
Classification :
QA
75
.
5
.
C36
1989
235. Categorical methods in computer science: with aspects from topology
Author: H. Ehrig...]et al.[ )eds.(
Library: (Kerman)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(,Congresses ، Tourist trade
Classification :
QA
75
.
5
.
C36
1989
236. Categories in Computer Science and Logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987
Author: John W. Gray and Andre Scedrov, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
9
.
M35A57
1987
237. Categories in computer science and logic
Author: AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic (1987 : University of Colorado, Boulder)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Computer science- Mathematics- Congresses►Categories (Mathematics)- Congresses
Classification :
QA
76
.
9
.
M35
,
A47
1987
238. Categories in computer science and logic :
Author: John W. Gray and Andre Scedrov, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Catégories (Mathématiques), Congrès.,Informatique-- Mathématiques, Congrès.,Categories (Mathematics),Catégories (Mathématiques)-- Congrès.,Computer science-- Mathematics.,Informatique-- Mathématiques-- Congrès.
Classification :
QA76
.
9
.
M35
A47
1987
239. Categories in computer science and logic : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Categories )Mathematics(--Congresses
Classification :
QA
76
.
9
.
M35
.
A47
1987
240. Category theory and computer science :
Author: Eugenio Moggi, Giuseppe Rosolini (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science-- Mathematics, Congresses.,Categorieën (wiskunde),Categories (Mathematics),Catégories (mathématiques)-- Congrès.,Computer science-- Mathematics.,Computers.,Informatik,Informatique-- Mathématiques-- Congrès.,Kategorientheorie,Kongress,Theoretische Informatik
Classification :
QA76
.
9
.
M35
C38
1997
